搜索包含 Mathematical Software Symposium 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

	Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems 0 索取号：作者：Verhulst、 Eric.、Boute、 Raymond T.、Faria、 Jos茅 Miguel Sampaio.、Sputh、 Bernhard H.C.、Mezhuyev、 Vitaliy.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2011.		Hardware/Software Architectures for Low-Power Embedded Multimedia Systems [electronic resource] 0 索取号：作者：Shafique、 Muhammad.、Henkel、 J枚rg.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.
	Bond Graph Modelling of Engineering Systems [electronic resource] : Theory, Applications and Software Support 0 索取号：作者：Borutzky、 Wolfgang.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio [electronic resource] 0 索取号：作者：Okada、 Kenichi.、Kousai、 Shouhei.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	An Introduction to the Mathematical Theory of Inverse Problems [electronic resource] 0 索取号：作者：Kirsch、 Andreas.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.		Mathematical Models and Immune Cell Biology [electronic resource] 0 索取号：作者：Molina-Par铆s、 Carmen.、Lythe、 Grant.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	New Software Engineering Paradigm Based on Complexity Science [electronic resource] : An Introduction to NSE 0 索取号：作者：Xiong、 Jay.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Composing Software Components [electronic resource] : A Software-testing Perspective 0 索取号：作者：Hamlet、 Dick.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2010.
	Software Tools and Algorithms for Biological Systems [electronic resource] 0 索取号：作者：Arabnia、 Hamid R.、Tran、 Quoc-Nam.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Software Automatic Tuning [electronic resource] : From Concepts to State-of-the-Art Results 0 索取号：作者：Naono、 Ken.、Teranishi、 Keita.、Cavazos、 John.、Suda、 Reiji.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2010.
	Mathematical Approaches to Polymer Sequence Analysis and Related Problems [electronic resource] 0 索取号：作者：Bruni、 Renato.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.		Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction 0 索取号：作者：Shukla、 Sandeep K.、Talpin、 Jean-Pierre.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2010.
	The Legacy of Alladi Ramakrishnan in the Mathematical Sciences [electronic resource] 0 索取号：作者：Alladi、 Krishnaswami.、Klauder、 John R.、Rao、 Calyampudi R.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2010.		A Practical Introduction to Hardware/Software Codesign [electronic resource] 0 索取号：作者：Schaumont、 Patrick R.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2010.
	Open Source Software for Digital Forensics [electronic resource] 0 索取号：作者：Huebner、 Ewa.、Zanero、 Stefano.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2010.		Embedded Software Design and Programming of Multiprocessor System-on-Chip [electronic resource] : Simulink and System C Case Studies 0 索取号：作者：Popovici、 Katalin.、Rousseau、 Fr茅d茅ric.、Jerraya、 Ahmed A.、Wolf、 Marilyn.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.

	Formal Development of a Network-Centric RTOS [electronic resource] : Software Engineering for Reliable Embedded Systems 0 索取号：作者：Verhulst、 Eric.、Boute、 Raymond T.、Faria、 Jos茅 Miguel Sampaio.、Sputh、 Bernhard H.C.、Mezhuyev、 Vitaliy.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2011.		Hardware/Software Architectures for Low-Power Embedded Multimedia Systems [electronic resource] 0 索取号：作者：Shafique、 Muhammad.、Henkel、 J枚rg.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.
	Bond Graph Modelling of Engineering Systems [electronic resource] : Theory, Applications and Software Support 0 索取号：作者：Borutzky、 Wolfgang.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio [electronic resource] 0 索取号：作者：Okada、 Kenichi.、Kousai、 Shouhei.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	An Introduction to the Mathematical Theory of Inverse Problems [electronic resource] 0 索取号：作者：Kirsch、 Andreas.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.		Mathematical Models and Immune Cell Biology [electronic resource] 0 索取号：作者：Molina-Par铆s、 Carmen.、Lythe、 Grant.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.
	New Software Engineering Paradigm Based on Complexity Science [electronic resource] : An Introduction to NSE 0 索取号：作者：Xiong、 Jay.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Composing Software Components [electronic resource] : A Software-testing Perspective 0 索取号：作者：Hamlet、 Dick.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2010.
	Software Tools and Algorithms for Biological Systems [electronic resource] 0 索取号：作者：Arabnia、 Hamid R.、Tran、 Quoc-Nam.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2011.		Software Automatic Tuning [electronic resource] : From Concepts to State-of-the-Art Results 0 索取号：作者：Naono、 Ken.、Teranishi、 Keita.、Cavazos、 John.、Suda、 Reiji.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2010.
	Mathematical Approaches to Polymer Sequence Analysis and Related Problems [electronic resource] 0 索取号：作者：Bruni、 Renato.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2011.		Synthesis of Embedded Software [electronic resource] : Frameworks and Methodologies for Correctness by Construction 0 索取号：作者：Shukla、 Sandeep K.、Talpin、 Jean-Pierre.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2010.
	The Legacy of Alladi Ramakrishnan in the Mathematical Sciences [electronic resource] 0 索取号：作者：Alladi、 Krishnaswami.、Klauder、 John R.、Rao、 Calyampudi R.、SpringerLink (Online service)、出版社：New York, NY : Springer New York : Imprint: Springer, 2010.		A Practical Introduction to Hardware/Software Codesign [electronic resource] 0 索取号：作者：Schaumont、 Patrick R.、SpringerLink (Online service)、出版社：Boston, MA : Springer US : Imprint: Springer, 2010.
	Open Source Software for Digital Forensics [electronic resource] 0 索取号：作者：Huebner、 Ewa.、Zanero、 Stefano.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2010.		Embedded Software Design and Programming of Multiprocessor System-on-Chip [electronic resource] : Simulink and System C Case Studies 0 索取号：作者：Popovici、 Katalin.、Rousseau、 Fr茅d茅ric.、Jerraya、 Ahmed A.、Wolf、 Marilyn.、SpringerLink (Online service)、出版社：New York, NY : Springer New York, 2010.